منابع مشابه
Correlation Functions and Diagrams
The path integral gives us the time evolution operator, which in principle contains all the information about the dynamics of the system. However, in order to use the path integral to do physics we need to find a way to describe initial and final particle states in path integral language. The way to do this is to couple the fields to spacetimedependent background fields (“sources”) that can cre...
متن کاملString Breaking from Ladder Diagrams in SYM Theory
The AdS/CFT correspondence establishes a string representation for Wilson loops in N = 4 SYM theory at large N and large ’t Hooft coupling. One of the clearest manifestations of the stringy behaviour in Wilson loop correlators is the string breaking phase transition. It is shown that resummation of planar diagrams without internal vertices predicts the strong-coupling phase transtion in exactly...
متن کاملVerification of Interlockings: from Control Tables to Ladder Logic Diagrams
Dependency relations between objects in a railway yard are tabulated in control tables. An interlocking, which guarantees validity of these dependencies, can be implemented in ladder logic. We transform a ladder logic diagram into a Boolean formula, so that validity of the dependencies in the control tables can be verified using a theorem prover. Time copies and invariants are added to the form...
متن کاملA New Translation Algorithm from Ladder Diagrams to Instruction Lists
A new algorithm for translating ladder diagrams into instruction lists is presented in this paper. To perform this task a new class of digraphs called Fractal Series Parallel (FSP) digraphs is proposed for the first time, which can represent the Boolean functions of a ladder diagram more intuitively and concisely than binary trees. Our analysis is based on the fact that a General Series Paralle...
متن کاملCorrelation functions in the three-chain Hubbard ladder.
In order to check whether odd-numbered Tomonaga-Luttinger ladders are dominated by antiferromagnetic correlations associated with gapless spin excitations, correlation functions of the doped three-chain Hubbard model are obtained with the bosonization at the renormalization-group fixed point. The correlation of the singlet superconducting pairing across the central and edge chains is found to b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review A
سال: 2008
ISSN: 1050-2947,1094-1622
DOI: 10.1103/physreva.78.042502